Alfred Tarski

Alfred Tarski
Persona informo
Alfred Tarski
Naskonomo	Alfred Tajtelbaum
Naskiĝo	14-an de januaro 1901 (1901-01-14) en Varsovio, Kongresa Pollando
Morto	26-an de oktobro 1983 (1983-10-26) (82-jaraĝa) en Berkeley
Tombo	Berkeley vd
Religio	katolikismo vd
Lingvoj	angla • germana • pola vd
Ŝtataneco	Kongresa Pollando Pollando Usono vd
Alma mater	Universitato de Varsovio (1918–1924) Szkoła Mazowiecka (en) (1915–1918) vd
Profesio
Okupo	matematikisto filozofo vd
Laborkampo	Logiko, modelo-teorio kaj matematiko vd
Doktoreca konsilisto	Stanisław Leśniewski vd
Verkado
Verkoj	Łoś–Tarski preservation theorem ❦ teoremo de Knaster-Tarski ❦ teoremo de Tarski ❦ teoremo de nedifinebleco de vero ❦ teoremo de Tarski-Seidenberg ❦ paradokso de Banach-Tarski ❦ alĝebro de Lindenbaum-Tarski ❦ Jónsson–Tarski algebra ❦ semantika teorio de la vero ❦ aksiomaro de Tarski ❦ Tarski's axiomatization of the reals ❦ Tarski's circle-squaring problem ❦ Tarski's exponential function problem ❦ problemo de Tarski pri licea algebro ❦ Tarski–Kuratowski algorithm ❦ monstro de Tarski ❦ Tarski's plank problem vd
Postenoj Postenoj prezidanto (1944–1946) vd
Honorigoj Honorigoj (1941, 1942, 1955)  Guggenheim-stipendio vd
Membrecoj Membrecoj Usona Nacia Akademio de Sciencoj (1965–) International Union of History and Philosophy of Science (en) Reĝa Nederlanda Akademio de Artoj kaj Sciencoj Usona Akademio de Artoj kaj Sciencoj Asocio por Simbola Logiko vd
Filozofo
vd	Fonto: Vikidatumoj
v • d • r

Alfred TARSKI antaŭe Alfred Tajtelbaum (naskiĝis la 14-an de januaro 1901 en Varsovio, mortis la 26-an de oktobro 1983 en Berkeley, Usono) – pola logikisto, membro de la Lvova-Varsovia skolo. De 1939 laboris en Usono. Kreinto interalie de modeloteorio kaj semantika teorio de vero. Konsiderata kiel unu el la kvar plej grandaj logikistoj en la historio – krom Aristotelo, Gottlob Frege kaj Kurt Gödel.^{[mankas fonto]}